RCS "$Id: GameCheck.sig,v 1.4 1998/08/13 11:38:47 pxs Exp $";
(********************************** HMLSat ***********************************)
(*                                                                           *)
(* This file contains the signature for local model checking.                *)
(*                                                                           *)
(*****************************************************************************)

signature GAMECHECK =
sig
  type prop 
  structure Ag : AGENT_WRAPPER

  val modelCheck : bool (* true if we definitely want to play *)
    -> (Ag. agent * prop)
    -> bool
end

